<?php

class Core_Resource_Exception extends Core_Exception
{}